Bruce A. Bunnell's Documents

Bruce A. Bunnell's Documents

The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming
Read more
Optimization in Economics and Finance: Some Advances in Non-Linear, Dynamic, Multi-Criteria and Stochastic Models (Dynamic Modeling and Econometrics in Economics and Finance)

Optimization in Economics and Finance: Some Advances in Non-Linear, Dynamic, Multi-Criteria and Stochastic Models (Dynamic Modeling and Econometrics in Economics and Finance)
Read more
The Behavioral Neurology of Dementia (Cambridge Medicine)

The Behavioral Neurology of Dementia (Cambridge Medicine)
Read more
Cryptography Engineering: Design Principles and Practical Applications

Cryptography Engineering: Design Principles and Practical Applications
Read more
Cities of the Middle East and North Africa: A Historical Encyclopedia

Cities of the Middle East and North Africa: A Historical Encyclopedia
Read more
Graph Colouring and the Probabilistic Method

Graph Colouring and the Probabilistic Method
Read more
AIDS and Tuberculosis: A Deadly Liaison (Infection Biology Handbook Series)

AIDS and Tuberculosis: A Deadly Liaison (Infection Biology Handbook Series)
Read more
NMS Surgery (National Medical Series for Independent Study)

NMS Surgery (National Medical Series for Independent Study)
Read more
Handbook of Agricultural Economics. Volume 1A: Agricultural Production. Handbooks in Economics 18

Handbook of Agricultural Economics. Volume 1A: Agricultural Production. Handbooks in Economics 18
Read more
Hard Core Hockey: Essential Skills, Strategies, and Systems from the Sport's Top Coaches

Hard Core Hockey: Essential Skills, Strategies, and Systems from the Sport's Top Coaches
Read more
Power & Responsibility: Building International Order in an Era of Transnational Threat

Power & Responsibility: Building International Order in an Era of Transnational Threat
Read more
Social-science commentary on the Letters of Paul

Social-science commentary on the Letters of Paul
Read more
Ramanujan's Lost Notebook

Ramanujan's Lost Notebook
Read more
Modeling Monetary Economies, 3rd Edition

Modeling Monetary Economies, 3rd Edition
Read more
Ksiega Planow

Ksiega Planow
Read more
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
Read more
Mac OS X Security

Mac OS X Security
Read more
ActiveMQ in Action

ActiveMQ in Action
Read more
Health reform in Africa: lessons from Sierre Leone, Parts 63-347

Health reform in Africa: lessons from Sierre Leone, Parts 63-347
Read more
Building the Perfect PC, Third Edition

Building the Perfect PC, Third Edition
Read more
City Spaces - Tourist Places: Urban Tourism Precincts

City Spaces - Tourist Places: Urban Tourism Precincts
Read more
Illustrated Guide to Home Forensic Science Experiments: All Lab, No Lecture

Illustrated Guide to Home Forensic Science Experiments: All Lab, No Lecture
Read more
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley Series in Artificial Intelligence)

Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley Series in Artificial Intelligence)
Read more
Inflammatory Dermatoses: The Basics

Inflammatory Dermatoses: The Basics
Read more
Memory systems : cache, DRAM, disk

Memory systems : cache, DRAM, disk
Read more
Draconomicon: Chromatic Dragons (D&D Rules Expansion)

Draconomicon: Chromatic Dragons (D&D Rules Expansion)
Read more
JWSR Volume X, Number 1 (2004)

JWSR Volume X, Number 1 (2004)
Read more
Astronomy Hacks: Tips and Tools for Observing the Night Sky

Astronomy Hacks: Tips and Tools for Observing the Night Sky
Read more
Radiology of the Postoperative GI Tract

Radiology of the Postoperative GI Tract
Read more
Functions and Change: A Modeling Approach to College Algebra

Functions and Change: A Modeling Approach to College Algebra
Read more